#include <riscv_vector.h>
#include <stdint.h>

typedef _Float16 float16_t;
typedef float float32_t;
typedef double float64_t;
vfloat16m1_t test_vfredmax_vs_f16mf4_f16m1_tu(vfloat16m1_t vd,
                                              vfloat16mf4_t vs2,
                                              vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16mf2_f16m1_tu(vfloat16m1_t vd,
                                              vfloat16mf2_t vs2,
                                              vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m1_f16m1_tu(vfloat16m1_t vd, vfloat16m1_t vs2,
                                             vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m2_f16m1_tu(vfloat16m1_t vd, vfloat16m2_t vs2,
                                             vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m4_f16m1_tu(vfloat16m1_t vd, vfloat16m4_t vs2,
                                             vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m8_f16m1_tu(vfloat16m1_t vd, vfloat16m8_t vs2,
                                             vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32mf2_f32m1_tu(vfloat32m1_t vd,
                                              vfloat32mf2_t vs2,
                                              vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m1_f32m1_tu(vfloat32m1_t vd, vfloat32m1_t vs2,
                                             vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m2_f32m1_tu(vfloat32m1_t vd, vfloat32m2_t vs2,
                                             vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m4_f32m1_tu(vfloat32m1_t vd, vfloat32m4_t vs2,
                                             vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m8_f32m1_tu(vfloat32m1_t vd, vfloat32m8_t vs2,
                                             vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m1_f64m1_tu(vfloat64m1_t vd, vfloat64m1_t vs2,
                                             vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m2_f64m1_tu(vfloat64m1_t vd, vfloat64m2_t vs2,
                                             vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m4_f64m1_tu(vfloat64m1_t vd, vfloat64m4_t vs2,
                                             vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m8_f64m1_tu(vfloat64m1_t vd, vfloat64m8_t vs2,
                                             vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tu(vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16mf4_f16m1_tum(vbool64_t vm, vfloat16m1_t vd,
                                               vfloat16mf4_t vs2,
                                               vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16mf2_f16m1_tum(vbool32_t vm, vfloat16m1_t vd,
                                               vfloat16mf2_t vs2,
                                               vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m1_f16m1_tum(vbool16_t vm, vfloat16m1_t vd,
                                              vfloat16m1_t vs2,
                                              vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m2_f16m1_tum(vbool8_t vm, vfloat16m1_t vd,
                                              vfloat16m2_t vs2,
                                              vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m4_f16m1_tum(vbool4_t vm, vfloat16m1_t vd,
                                              vfloat16m4_t vs2,
                                              vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat16m1_t test_vfredmax_vs_f16m8_f16m1_tum(vbool2_t vm, vfloat16m1_t vd,
                                              vfloat16m8_t vs2,
                                              vfloat16m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32mf2_f32m1_tum(vbool64_t vm, vfloat32m1_t vd,
                                               vfloat32mf2_t vs2,
                                               vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m1_f32m1_tum(vbool32_t vm, vfloat32m1_t vd,
                                              vfloat32m1_t vs2,
                                              vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m2_f32m1_tum(vbool16_t vm, vfloat32m1_t vd,
                                              vfloat32m2_t vs2,
                                              vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m4_f32m1_tum(vbool8_t vm, vfloat32m1_t vd,
                                              vfloat32m4_t vs2,
                                              vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat32m1_t test_vfredmax_vs_f32m8_f32m1_tum(vbool4_t vm, vfloat32m1_t vd,
                                              vfloat32m8_t vs2,
                                              vfloat32m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m1_f64m1_tum(vbool64_t vm, vfloat64m1_t vd,
                                              vfloat64m1_t vs2,
                                              vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m2_f64m1_tum(vbool32_t vm, vfloat64m1_t vd,
                                              vfloat64m2_t vs2,
                                              vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m4_f64m1_tum(vbool16_t vm, vfloat64m1_t vd,
                                              vfloat64m4_t vs2,
                                              vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}

vfloat64m1_t test_vfredmax_vs_f64m8_f64m1_tum(vbool8_t vm, vfloat64m1_t vd,
                                              vfloat64m8_t vs2,
                                              vfloat64m1_t vs1, size_t vl) {
  return __riscv_vfredmax_tum(vm, vd, vs2, vs1, vl);
}
